MARTE, THE UML standard extension for real-time and embedded systems
نویسنده
چکیده
Sébastien Gérard (sebastien [dot]gerard [at]cea [dot] fr ) – CEA LIST, Laboratory of Model Driven Engineering for Embedded Systems (LISE), Boîte courrier 65, Gif sur Yvette Cedex, F-91191 France. François Terrier (francois [dot] terrier [at] cea [dot] fr ) – CEA LIST, Laboratory of Model Driven Engineering for Embedded Systems (LISE), Boîte courrier 65 , Gif sur Yvette Cedex, F-91191 France. Bran Selic (selic [at] acm [dot] org ) – Malina Software Corp., Nepean, Ontario, Canada Pierre Boulet (pierre [dot] boulet [at] lifl [dot] fr ) – LIFL, Université des Sciences et Technologies de Lille, Cité scientifique, 59655 Villeneuve d'Ascq, France
منابع مشابه
Modeling Networks-on-Chip at System Level with the MARTE UML profile
The study of Networks on Chips (NoCs) is a research field that primarily addresses the global communication in Systems-on-Chip (SoCs). The selected topology and the routing algorithm play a prime role in the performance of NoC architectures. In order to handle the design complexity and meet the tight time-to-market constraints, it is important to automate most of these NoC design phases. The ex...
متن کاملModeling On-Board Software Dynamic Architecture: A Related Experience using UML-MARTE
MARTE (Modeling and Analysis of Real-Time and Embedded Systems) is the UML extension profile dedicated to the modeling of Real-time and Embedded Systems (RTES). Standardized by the OMG, UML-MARTE is well accepted in the Model Based Driven Engineering community. However there still exists a big gap to bridge for its use in operational space projects. Some of the identified limiting factors are (...
متن کاملDependability analysis of DES based on MARTE and UML state machines models
UML (Unified Modeling Language) is a standard design notation which offers the state machines diagram to specify reactive software systems. The “Modeling and Analysis of Real-Time and Embedded systems” profile (MARTE) enables UML with capabilities for performance analysis. MARTE has been specialized in a “Dependability Analysis and Modeling” profile (DAM), then providing UML with dependability ...
متن کاملUML Profile for MARTE: Time Model and CCSL
This 90 minutes tutorial gives a basic introduction to the UML Profile for MARTE (Modeling and Analysis of Real-Time and Embedded systems) adopted by the Object Management Group. After a brief introduction to the UML profiling mechanism, we give a broad overview of the MARTE Profile. Then, the tutorial shall focus on the time model of MARTE and its companion language CCSL (Clock Constraint Spec...
متن کاملThe UML – MARTE Standardized Profile
The UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (also called the UML profile for MARTE, or simply, MARTE) adds capabilities to UML for model-driven development of real-time and embedded systems (RTES). It provides support for specification, design, and verification/validation stages. This new profile replaces the existing UML Profile for Schedulability, Performance a...
متن کاملFormal Throughput and Response Time Analysis of MARTE Models
UML Profile for MARTE is an extension of UML in the domain of real-time and embedded systems. In this paper, we present a method to evaluate throughput and response time of systems described in MARTE models. A MARTE model we consider includes a use case diagram, a deployment diagram and a set of activity diagrams. We transform a MARTE model into a network of timed automata in UPPAAL and use UPP...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008